package solvers;
import terms.AbstractGraph;


public abstract class Solver {
	
	protected AbstractGraph graph;
	
	public abstract AbstractTF solve();
	public void setGraph(AbstractGraph g)
	{
		graph = g;
	}
}